\begin{tabbing}
(\=(((((((Unfold `fseg` 0) \+
\\[0ex]CollapseTHEN (Auto'))$\cdot$) 
\\[0ex]CollapseTHEN (D ({-}1)$\cdot$))$\cdot$) 
\\[0ex]
\\[0ex]CollapseTHEN (ExRepD$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((WeakSubstFor $l_{3}$ 0) 
\\[0ex]CollapseTHEN (
\-\\[0ex]WeakSubstFor $l_{2}$ 0))$\cdot$))$\cdot$
\end{tabbing}